Second Generation Nuclear-Weapon-Free Zone: Mixing Noble Ideas and Hard Reality

Prospects for a Central Asian Nuclear - Weapon - Free Zone Report

Towards a Nuclear-Weapon-Free World

Generation Gap: Illusion or Reality?

Values have very important functions in any society. The significance  becomes so clear when a society has been exposed to changes and strengthening social cohesion is viewed as an essential subject. Great changes as the Islamic Revolution and the Imposed War have been happened in Iran during last several decades. In this line, generations can be understood via  direct or indirect experience of...

Zone Plates for Hard X-Ray Free-Electron Lasers

Hard x-ray free-electron lasers are novel sources of coherent x-rays with unprecedented brightness and very short pulses. The radiation from these sources enables a wide range of new experiments that were not possible with previous x-ray sources. Many of these experiments require the possibility to focus the intense x-ray beam onto small samples. This Thesis investigates the possibility to use ...

GoRRiLA and Hard Reality

We call a theory problem a conjunction of theory literals and a theory solver any system that solves theory problems. For implementing efficient theory solvers one needs benchmark problems, and especially hard ones. Unfortunately, hard benchmarks for theory solvers are notoriously difficult to obtain. In this paper we present two tools: Hard Reality for generating theory problems from real-life...